(Academic Press) A forum for research in the algorithmic treatment of all types of symbolic objects. Tables of contents from vol.15 (1993). Full text to subscribers.

Bimonthly journal on promoting visual languages, and on their implications for computing.

Publishes articles describing recent fundamental contributions in the field of neurocomputing. Authoring information and online submission system, content alert via email, ordering information and content downloads for subscribers.

Journal publishing papers describing fundamental developments in the field of robotics, with special emphasis on autonomous systems. Most articles require payment to view but some are be viewed at no charge.

Covers the mathematical and theoretical basis of computer science.

Elsevier journal covering the mathematical and theoretical basis of computer science.